46. A cryptography primer :
پدیدآورنده : Philip N. Klein, Brown University, Providence, Rhode Island
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security,Data encryption (Computer science),Digital signatures,Telecommunication-- Safety measures
رده :
QA76
.
9
.
A25
K557
2014
48. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
49. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
50. Computer safety, reliability and security :
پدیدآورنده : of the 15th International conference on ..., SAFECOMP'96, Vienna, Austria, 23-25 October 1996 ; ed. Erwin Schoitsch ; org. Austrian research centre Seibersdorf.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
76
.
R44
O384
1997
51. Computers and safety: a First International Conference on the Use of Programmable Electronic Systems in Safety Related Applications, 8- 10 November 1989
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Industrial safety- Computer programs
52. Dependable computing--EDCC-1 :
پدیدآورنده : Klaus Echtle, Dieter Hammer, David Powell, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic digital computers -- Reliability -- Congresses.,Fault-tolerant computing -- Congresses.,Tolérance aux fautes (Informatique) -- Congrès.
رده :
QA76
.
9
.
F38
K538
1994
53. Encyclopedia of management.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Industrial management, Encyclopedias.,Management, Encyclopedias.,Industrial management.,Management.
رده :
HD30
.
15
.
E49
2009
54. Extreme man-made and natural hazards in dynamics of structures /
پدیدآورنده : edityed by Adnan Ibrahimbegovic and Ivica Kozar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Hazard mitigation, Congresses.,Natural disaster warning systems, Congresses.,Structural analysis (Engineering), Congresses.,Structural dynamics, Congresses.,Hazard mitigation.,Hazard mitigation.,Natural disaster warning systems.,Natural disaster warning systems.,Physique.,Structural analysis (Engineering),Structural analysis (Engineering),Structural dynamics.,Structural dynamics.,TECHNOLOGY & ENGINEERING-- Structural.
رده :
TA654
.
N35
2006eb
55. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
56. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
57. Formal verification of object-oriented software :
پدیدآورنده : Bernhard Beckert, Claude Marche (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
F68
2011
58. High-performance embedded computing :
پدیدآورنده : Wayne Wolf.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Embedded computer systems.,High performance computing.,Superinformatique.,Systèmes enfouis (Informatique),COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Embedded computer systems.,High performance computing.
رده :
TK7895
.
E42
W65
2007eb
59. How do rogue nations threaten human rights? -- North Korea represses freedom / Kay Seok -- Iran violates women's rights / Sam Brownback -- Sudanese government engages in genocide / Human Rights Watch -- United States violates human rights worldwide / Vernon Coleman -- Rogue nations undermine the United Nations' mission to promote human rights / Joseph Loconte -- U.S. invasions have not spread democracy in the Middle East / Phyllis Bennis -- How should the global community respond to rogue nations? -- Preemptive force is sometimes necessary to contain rogue nations / National Review -- Preemptive force threatens efforts to contain rogue states / Ivan Eland -- Missile defense system is necessary to protect against rogue nations / Dennis Ross -- Missile defense system is unnecessary / Gwynne Dyer -- Promoting globalization will reduce the threat posed by rogue states / Banning N. Garrett, Dennis M. Sherman -- Globalization
پدیدآورنده : Louise Gerdes, book editor.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
60. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
